基于能力需求的武器装备体系结构描述方法研究

提出一种“基于能力需求”的武器装备体系结构描述方法，包括两种描述思路，分别是“从需求到体系”的描述思路和“从体系到能力”的描述思路；以定性描述和定量描述的形式，给出了武器装备体系结构描述的框架与流程。该方法能为武器装备体系的构建与优化提供基础与指导。     

可展开遮阳罩技术研究进展及其关键科学问题

可展开遮阳罩一般是由多层轻质柔性高精度无褶皱薄膜和展开支撑臂及其控制装置组成,在轨后展开支撑臂有序展开多层大面积薄膜实现光控制和热控制性能,能有效改善和防护空间航天器。针对可展开遮阳罩结构,依据一维轴向、二维平面与三维周向的展开方式分类总结国内外可展开遮阳罩技术的研究进展,并对不同遮阳罩结构形状、薄膜材料、层数与展开方式等进行对比分析;梳理出遮阳罩在杂光抑制、折叠与展开变形机理、极端环境下薄膜多场耦合、低温热控、太阳辐射光压力矩及其计算方法等方面的关键科学问题,并给出了中国研究遮阳罩的发展建议。     

存在工作历程产品的加速寿命试验统计分析

加速寿命试验(ALT)可在较短时间内获得产品的寿命及可靠性信息.利用ALT对产品的剩余寿命进行评估时,常常将已工作过的产品进行抽样并投入试验,在这一类样本的ALT数据统计分析时如何处理初始工作时间,成为ALT应用中的一个重要问题.工程实际中评估此类样本的剩余寿命时常常忽略初始工作时间,将其视为"用后如新"或"无记忆性"产品.但此假设必须以产品寿命服从指数分布为前提,而大部分机电产品的寿命服从Weibull分布,因而该方法在应用时必然会产生较大误差.针对这一问题提出了一种新的基于时间折算的ALT数据统计分析方法,并利用Monte Carlo仿真对其估计特性进行对比研究,结果表明此方法能有效评估存在初始工作历程产品的剩余寿命,估计精度优于原方法.     

基于卷积双向长短期神经网络的调制方式识别

针对现有卷积神经网络方法下调制识别时间较长、网络较复杂等问题,将卷积神经网络(Convolutional Neural Networks,CNN)与双向长短期记忆神经网络(Bi-directional Long Short-Term Memory,BiLSTM)相结合,提出一种基于CNN-BiLSTM的调制方式识别方法。利用CNN卷积运算提取信号的空间特征,利用BiLSTM提取到信号的时序相关性,利用softmax层输出识别概率,达到多调制识别的目的。实验结果表明,在没有信道和噪声等先验信息的条件下,该方法的识别性能得到了进一步提升,能有效识别16QAM、64QAM等11种调制类别,且该方法的复杂度较低,大大节省了训练识别时间,具有较好的工程应用价值。     

粉尘爆炸事故预防及其扑救对策研究

可燃粉尘爆炸是危害人类生产生活的一类主要事故。要有效预防粉尘爆炸事故造成的危害，准确掌握其爆炸原理，研究其爆炸特性是非常必要的。探讨了粉尘爆炸的基本特征，研究了粉尘爆炸的条件和机理及影响粉尘爆炸的因素。详细论述了粉尘爆炸火灾的特点及其危害。研究了预防粉尘爆炸及降低粉尘爆炸破坏作用的对策，并指出了在灭火战斗中应注意的问题。     

远距离干扰下的被动侦察雷达功能仿真

对雷达探测能力的仿真往往是武器系统作战效能仿真中重要的一部分,功能仿真由于其方法简单、使用方便、速度快,比较适合较大对抗系统中对雷达探测能力的仿真。将被动侦察雷达功能进行分解并进行有机地结合,介绍了主要模块的数学模型,通过仿真实验对远距离支援干扰条件下的被动侦察雷达进行功能仿真,结果表明该方法具有较好的结果和较大的灵活性。     

带有中心预燃室的冲压发动机数值模拟研究

为提高低压条件下燃烧室点火和火焰稳定性能,设计了一种中心预燃室结构的冲压发动机。运用数值模拟方法对简化燃烧室内部的喷雾燃烧流场进行了分析。结果表明:随着燃烧室工作阶段的不同,预燃室尾部收缩段对内外涵气流相互作用的影响存在差异;由于局部压差的增大,预燃室取气口将出现局部加速效应;预燃室内流动过程受下游燃烧的影响。     

基于面积比矩阵的加权特征向量点匹配算法

提出一种在仿射变换下点集关系描述算子--面积比矩阵,证明了其在仿射变换群下的不变性质;并由该性质推导得出特征向量(EA)匹配算法抗噪性能差的原因,在此基础上给出了基于面积比矩阵的加权特征向量算法.算法构造不同图像的面积比矩阵,对矩阵进行分解得到其特征值和特征向量,通过特征值进行加权获得图像中点的特征向量,比较图像点的特征向量获取匹配关系.因面积比矩阵的仿射不变性质,算法能实现仿射变换下点集精确匹配;采用的加权特征向量法改进了EA匹配法,具有更好的抗噪性能.实验表明算法切实可行.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.